struct pfn_info *mpfn_info;
struct domain *d = ed->domain;
- ASSERT(!ed->arch.monitor_table); /* we should only get called once */
+ ASSERT(!pagetable_val(ed->arch.monitor_table)); /* we should only get called once */
mpfn_info = alloc_domheap_page(NULL);
ASSERT( mpfn_info );
return vmx_final_setup_guest(d, c);
#endif
- update_pagetables(d); /* this assigns shadow_pagetable
- and monitor_table */
+ /* We don't call update_pagetables() as we actively want fields such as
+ * the linear_pg_table to be null so that we bail out early of
+ * shadow_fault in case the vmx guest tries illegal accesses with
+ * paging turned of.
+ */
return 0;
}
if (0) /* XXXXX DO NOT CHECK IN ENABLED !!! (but useful for testing so leave) */
{
shadow_mode_enable(d, SHM_test);
- update_pagetable(ed); /* XXX SMP */
+ update_pagetables(ed); /* XXX SMP */
}
#endif